Formal proof

Qualità:

Dimostrazione - sequenza finita di proposizioni, ognuna delle quali è un assioma, un'ipotesi o segue dalle proposizioni precedenti per una regola di inferenza. L'articolo "Formal proof" nella Wikipedia in inglese ha 23.5 punti per la qualità (al 1 agosto 2024). L'articolo contiene 4 riferimenti e 8 sezioni.

In questa versione linguistica di Wikipedia l'articolo ha la migliore qualità. Inoltre, questo articolo è il più popolare in quella versione linguistica.

Nel luglio 2024 l'articolo "Formal proof" è stato modificato da 1 autori nella Wikipedia in inglese e scritto da 2 autori in tutte le lingue.

Dalla creazione dell'articolo "Formal proof", il suo contenuto è stato scritto da 41 utenti registrati di Wikipedia in inglese e modificato da 128 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 472 volte nella Wikipedia in inglese e citato 1015 volte in tutte le lingue.

Il grado di interesse degli autori più alto dal 2001:/p>

• Locale (inglese): N. 94356 nell'ottobre 2014
• Globale: N. 76621 nel giugno 2005

Il grado di popolarità più alto dal 2008:

• Locale (inglese): N. 237045 nell'ottobre 2009
• Globale: N. 192710 nel giugno 2010

Ci sono 8 versioni linguistiche per questo articolo nel database WikiRank (delle 55 edizioni linguistiche di Wikipedia considerate).

La valutazione della qualità e della popolarità si basava sui dump di Wikipedia del 1 agosto 2024 (inclusa la cronologia delle revisioni e le visualizzazioni di pagina degli anni precedenti).

La tabella seguente mostra le versioni linguistiche dell'articolo con la massima qualità.

#	Lingua	Grado di qualità	Punteggio di qualità
1	inglese (en) Formal proof		23.4607
2	italiano (it) Dimostrazione		21.5948
3	portoghese (pt) Derivação formal		15.8082
4	spagnolo (es) Prueba formal		13.6917
5	arabo (ar) برهان فلسفي		10.8116
6	francese (fr) Démonstration formelle		9.4283
7	ucraino (uk) Формальне доведення		6.1949
8	olandese (nl) Formeel bewijs		1.7856

La tabella seguente mostra le versioni linguistiche più popolari dell'articolo.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Formal proof		482 899
2	arabo (ar) برهان فلسفي		155 663
3	italiano (it) Dimostrazione		106 170
4	portoghese (pt) Derivação formal		26 164
5	spagnolo (es) Prueba formal		13 443
6	ucraino (uk) Формальне доведення		10 879
7	olandese (nl) Formeel bewijs		5 203
8	francese (fr) Démonstration formelle		4 949

La tabella seguente mostra le versioni linguistiche dell'articolo con la maggiore popolarità nell'ultimo mese.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Formal proof		1 389
2	arabo (ar) برهان فلسفي		237
3	italiano (it) Dimostrazione		221
4	francese (fr) Démonstration formelle		66
5	spagnolo (es) Prueba formal		53
6	portoghese (pt) Derivação formal		45
7	ucraino (uk) Формальне доведення		15
8	olandese (nl) Formeel bewijs		6

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Formal proof		41
2	italiano (it) Dimostrazione		38
3	arabo (ar) برهان فلسفي		14
4	portoghese (pt) Derivação formal		11
5	ucraino (uk) Формальне доведення		11
6	francese (fr) Démonstration formelle		5
7	olandese (nl) Formeel bewijs		5
8	spagnolo (es) Prueba formal		3

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori nell'ultimo mese.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Formal proof		1
2	ucraino (uk) Формальне доведення		1
3	arabo (ar) برهان فلسفي		0
4	spagnolo (es) Prueba formal		0
5	francese (fr) Démonstration formelle		0
6	italiano (it) Dimostrazione		0
7	olandese (nl) Formeel bewijs		0
8	portoghese (pt) Derivação formal		0

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggior numero di citazioni.

Il 10 ottobre 2024 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Han Kang, Lyle and Erik Menendez, Rafael Nadal, Sean Combs, George Baldock, Ratan Tata, uragano Katrina, uragano Milton, Joker: Folie à deux, Ethel Skakel Kennedy.

Nella Wikipedia in inglese gli articoli più popolari quel giorno erano: Ratan Tata, Tata family, Naval Tata, Noel Tata, George Baldock, Ratanji Tata, J. R. D. Tata, Natarajan Chandrasekaran, Simone Tata, Tata Group.

Il progetto è finalizzato alla valutazione relativa automatica degli articoli nelle diverse versioni linguistiche di Wikipedia. Al momento il servizio permette di confrontare oltre 44 milioni di articoli di Wikipedia in 55 lingue. I punteggi di qualità degli articoli si basano sui dump di Wikipedia del agosto 2024. Nel calcolare la popolarità attuale e l'intelligenza artificiale degli articoli sono stati presi in considerazione i dati del luglio 2024. Per i valori storici di popolarità e AI WikiRank ha utilizzato dati dal 2001 al 2023... More information